Strong normalization from an unusual point of view
نویسندگان
چکیده
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.
منابع مشابه
Strong normalisation in two Pure Pattern Type Systems
Pure Pattern Type Systems (P TS) combine in a unified setting the frameworks and capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especially interesting from a logical point of view. Strong normalization, an essential property for logical soundness, had only been conjectured so far: in this paper, we give a positive answer for the simply-typed ...
متن کاملThe Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especially interesting from a logical point of view. Strong normalization, an essential property for logical soundness, had only been conjectured so far: in this paper, we give a positive answer for the simply-typed system. The pro...
متن کاملTea as a functional food in preventive medicine from traditional Persian medicine point of view (a narrative review)
Background and objectives: In recent years, phytomedicine has a main role to support immune system and in preventive medicine to decrease cancer incidence. Traditional medicine has a basic role to introduce herbal drugs to investigate in preventive medicine. Camellia Sinensis has two popular preparations, green (unfermented) and black (fully fermented) tea that among s...
متن کاملتحلیل دینامیکی غیرخطی هندسی سدهای بتنی قوسی
This paper presents an assessment of the seismic hazard for the Markazi province. For approch to this aim based on Seismotectonic conditions, regional earthquake dam and seismicity analyses the active faults and potential seismic sources of the region are identified and illustrated in a seismotectonic map. By useing different thechniques such as “Time Normalization” a model of earthquake sourc...
متن کاملComputerize classification of Benign and malignant thyroid nodules by ultrasound imaging
Introduction: Early detection and treatment of thyroid nodules increase the cure rate and provide optimal treatment. Ultrasound is the chosen imaging technique for assessment of thyroid nodules. Confirmation of the diagnosis usually demands repeated fine needle aspiration biopsy (FNAB). So, current management, has morbidity and non zero mortality. The goal of the present study ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 412 شماره
صفحات -
تاریخ انتشار 2011